@$i$ state ${\it ds}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:Id. vartype($i$;$x$) $\subseteq$r ${\it ds}$($x$)?Top